opaque type string = number;
